4

[Lecture Notes in Computer Science] Formal Aspects of Component Software Volume 8997 ||

Year:
2015
Language:
english
File:
PDF, 26.16 MB
english, 2015
19

A basic algebra of stateless connectors

Year:
2006
Language:
english
File:
PDF, 419 KB
english, 2006
20

Parametric synchronizations in mobile nominal calculi

Year:
2008
Language:
english
File:
PDF, 627 KB
english, 2008
21

An operational semantics for a calculus for wireless systems

Year:
2010
Language:
english
File:
PDF, 541 KB
english, 2010
22

Determination of semimicro amounts of tellurium by electrodeposition

Year:
1963
Language:
english
File:
PDF, 290 KB
english, 1963
24

A Graphical Fusion Calculus

Year:
2004
Language:
english
File:
PDF, 282 KB
english, 2004
25

Exploiting User-definable Synchronizations in Graph Transformation

Year:
2008
Language:
english
File:
PDF, 289 KB
english, 2008
28

The journey from formal learning to performance support

Year:
2012
Language:
english
File:
PDF, 195 KB
english, 2012
34

Removal of Vancomycin by Hemodialysis: A Significant and Overlooked Consideration

Year:
1989
Language:
english
File:
PDF, 231 KB
english, 1989
46

Nature of the anodic tellurate wave at the dropping mercury electrode

Year:
1962
Language:
english
File:
PDF, 265 KB
english, 1962